Nuprl Definition : implies
11,40
postcript
pdf
P
Q
==
P
Q
latex
Definitions
P
Q
origin
Q == P
Q Q == PQ Q